28.19/28.40	unsat
