0.19/0.53	unsat
