4.43/6.39	unsat
