7.89/8.53	unsat
