4.83/7.76	unsat
