4.72/5.79	unsat
