19.06/21.54	unsat
