28.26/30.15	unsat
