14.94/15.03	unsat
