19.18/21.39	unsat
