4.72/7.42	unsat
