29.56/31.21	unsat
