10.78/15.71	unsat
