31.56/31.62	unsat
