14.87/15.67	unsat
