15.27/16.86	unsat
