26.10/28.51	unsat
