7.87/10.53	unsat
