4.91/7.79	unsat
