28.80/29.03	unsat
