0.13/0.42	unsat
