26.85/28.15	unsat
