14.87/15.72	unsat
