28.33/28.47	unsat
