5.39/5.43	unsat
