26.06/27.68	unsat
