5.69/7.76	unsat
