4.67/4.79	unsat
