26.47/27.79	unsat
