15.26/17.72	unsat
