4.69/5.76	unsat
