6.87/8.53	unsat
