15.26/18.06	unsat
