18.60/20.03	unsat
