29.15/29.28	unsat
