5.36/5.76	unsat
