19.60/21.54	unsat
