4.71/5.76	unsat
