30.30/30.72	unsat
