3.95/3.99	unsat
