18.85/21.03	unsat
