5.34/7.76	unsat
