14.96/18.72	unsat
