26.26/28.47	unsat
