15.35/17.67	unsat
