30.45/30.56	unsat
