4.69/4.79	unsat
