5.87/7.76	unsat
