30.68/31.56	unsat
