26.36/28.15	unsat
