15.57/15.67	unsat
