3.69/3.79	unsat
