7.13/10.42	unsat
