14.48/17.72	unsat
