4.58/5.76	unsat
