4.72/4.79	unsat
