3.97/4.03	unsat
