18.85/22.03	unsat
