4.67/6.53	unsat
