5.42/7.95	unsat
