3.69/3.75	unsat
