14.13/15.67	unsat
