15.18/17.72	unsat
