6.36/6.46	unsat
