15.24/15.71	unsat
