11.42/16.39	unsat
