15.53/16.86	unsat
