18.94/19.03	unsat
