3.43/3.46	unsat
