3.79/4.03	unsat
