5.67/8.53	unsat
