3.55/5.76	unsat
