4.69/4.97	unsat
