8.47/10.43	unsat
