29.96/31.75	unsat
