14.97/15.03	unsat
