6.19/6.43	unsat
