15.68/15.71	unsat
