4.68/4.79	unsat
