6.36/6.43	unsat
