5.43/7.18	unsat
