7.09/11.71	unsat
