23.83/30.42	unsat
