13.46/21.27	unsat
