3.41/3.46	unsat
