6.69/10.43	unsat
